Saltar para o conteúdo

Fibrado principal

Origem: Wikipédia, a enciclopédia livre.

Em matemática, um fibrado principal é uma classe especial de fibrado para o qual as fibras são todas espaços homogêneos principais relacionados a um grupo topológico.

Os G-fibrados principais são G-fibrados no sentido que o grupo G também serve como o grupo estrutural do fibrado. Os fibrados principais tem usos importantes na topologia e na geometria diferencial. Também tem encontrado uso em física onde formam la parte da teoria de gauge. Os fibrados principais proporcionam um marco unificador na teoria dos fibrados no sentido que todos os fibrados com grupo estrutural G determinam um único G-fibrado principal a partir do qual pode ser reconstruído o fibrado original.

Definição formal

[editar | editar código-fonte]

Um -fibrado principal ´we um fibrado junto a uma ação contínuo à direita por um grupo topológico tal que preserva as fibras de e a ação é livre e transitiva. A fibra abstrata do fibrado é tomada como (muitas vezes requer que o espaço de base seja um espaço de Hausdorff e possivelmente paracompacto).

Segue que as órbitas da -ação são precisamente as fibras do fibrado e o espaço de órbitas é homeomorfo ao espaço homogêneo .

Um -fibrado principal pode também ser caracterizado como um -fibrado com fibra onde o grupo da estrutura atua na fibra pela multiplicação à esquerda. Dado que a multiplicação à direita na fibra comuta com a ação do grupo estrutural, existe uma noção invariante de multiplicação à direita de sobre .

A noção de fibrado principal pode ser estendida à categoria das variedades diferenciáveis, requerendo que seja uma aplicação diferenciável entre variedades, um grupo de Lie e que a ação de sobre seja diferenciável.

O exemplo mais comum de um fibrado principal diferenciável é o fibrado de referências, também chamado fibrado de marcos, de uma variedade . A fibra sobre um ponto é o sistema de todas as referências (ou seja, bases ordenadas) do espaço tangente . O grupo linear geral atua de forma simples e transitiva sobre o conjunto de bases. Estas fibras podem ser unidas de maneira natural para obter um -fibrado principal sobre .

Variações no exemplo anterior incluem o fibrado de referências ortonormais de uma variedade riemanniana. Aqui as referências devem ser bases ortonormais em relação à métrica. O grupo estrutural é o grupo ortogonal .

Se é um espaço topológico e é um recobrimento normal (regular), este último pode ser considerado um fibrado principal onde o grupo estrutural atua sobre via a ação de monodromia. Em particular, o recobrimento universal de um espaço topológico é um fibrado principal sobre com grupo estrutural .

Sejam um grupo de Lie e um subgrupo fechado (não necessariamente normal). Então é um -fibrado principal sobre o espaço quociente (esquerdo) . Aqui a ação de em é a multiplicação à direita. As fibras são coconjuntos à esquerda de (neste caso há uma fibra distinta, a que contém a identidade, que é naturalmente isomorfa a ).

Consideremos a projeção dada por . Este -fibrado principal é o fibrado associado à fita de Möbius.

Os espaços projetivos proporcionam exemplos interessantes de fibrados principais. Recordemos que a -esfera é um recobrimento duplo do espaço projetivo real .

A ação natural de sobre resulta a estrutura de -fibrado principal sobre . Também é um -fibrado principal sobre e é um -fibrado principal sobre o espaço projetivo quaterniônico . Então temos uma série de fibrados principais para cada inteiro positivo :

Aquí denota a esfera unidade em . Por todos estes exemplos o caso resulta os fibrados de Hopf.

Trivialização e seções

[editar | editar código-fonte]

Uma das perguntas mais importantes em relação a um espaço fibrado é se se é ou não um fibrado trivial (ou seja, isomorfo a um fibrado produto). Para os fibrados principais há uma caracterização conveniente da trivialidade:

Teorema. Um fibrado principal é trivial se e somente se admite uma seção global.

Este resultado não é certo para fibrados em geral. Em particular os fibrados vetoriais, por exemplo, tem sempre a seção zero, sejam triviais ou não.

O mesmo teorema se aplica às trivializações locais de fibrados principais. Seja um -fibrado principal. Um conjunto aberto em admite uma trivialização local se e somente se existe uma seção local em . Dado uma trivialização local podemos definir uma seção local associada :,

onde é a identidade em .

Reciprocamente, dada uma seção local podemos definir uma trivialização por:

O fato de que atua de forma simples e transitiva garante que esta aplicação é uma bijeção. É possível comprovar que também é um homeomorfismo. As trivializações locais definidas por uma seção local são -equivariantes no seguinte sentido:

se escrevemos

na forma

então a aplicação satisfaz

Em termos das seções locais , a aplicação é dada por :

A versão local do teorema da seção então indica que as trivializações locais equivariantes de um fibrado principal estão em correspondência com as seções locais.

Seja uma trivialização local equivariante de e as seções locais induzidas em cada . Em as seções e estão relacionadas pelo grupo . De fato, as funções de transição entre as diferentes trivializações, dadas por

na primeira coordenada resultam ser a identidade e resultam

.

Logo para qualquer temos

Caracterização de fibrados principais diferenciáveis

[editar | editar código-fonte]

Se é um -fibrado principal diferenciável, então atua em forma própria e livre em de modo que o espaço de órbitas é difeomorfo ao espaço base .

Resulta que isto caracteriza completamente aos fibrados principais diferenciáveis. Isto é, se é uma variedade diferenciável, é um grupo de Lie e uma ação à direita diferenciável, livre e própria então

  • (espaço quociente pela ação ) é uma variedade diferenciável,
  • a projeção natural é uma submersão, e
  • é um -fibrado principal diferenciável sobre .

Redução do grupo estrutural

[editar | editar código-fonte]

Seja um -fibrado principal.

Dado um subgrupo , podemos considerar o fibrado cujas fibras são as coclasses . Se o novo fibrado admite uma seção global, dizemos que a seção é uma redução do grupo estrutural de ao de .

Em particular, se é a identidade, então uma redução de à identidade é equivalente a ter-se uma seção global do fibrado original, o qual é equivalente a que o fibrado seja trivial. Em geral não existem as reduções do grupo estrutural.

Muitas perguntas sobre a estrutura topológica de um fibrado podem ser reformuladas como perguntas sobre a admissibilidade da redução do grupo estrutural.

Por exemplo:

  • Uma variedade real -dimensional admite uma estrutura complexa se o fibrado de referências correspondente à variedade, cujas fibras são , pode ser reduzido ao grupo
  • Uma variedade -dimensional admite campos vetoriais linearmente independentes em cada ponto se seu fibrado de referências é paralelizável, ou seja, se o fibrado de referências admite uma seção global.
  • Uma variedade real -dimensional admite um corpo -plano se o fibrado de referências pode ser reduzido ao grupo estrutural
  • Bleecker, David (1981). Gauge Theory and Variational Principles. Addison-Wesley Publishing. ISBN 0-486-44546-1 (Dover edition).
  • Jost, Jürgen (2005). Riemannian Geometry and Geometric Analysis, (4th ed.) edición, New York: Springer. ISBN 3-540-25907-4.
  • Sharpe, R. W. (1997). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. New York: Springer. ISBN 0-387-94732-9.
  • Steenrod, Norman (1951). The Topology of Fibre Bundles. Princeton: Princeton University Press. ISBN 0-691-00548-6.